sublist$\ast$($T$;${\it as}$;${\it bs}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$${\it cs}$:$T$ List. sublist($T$; ${\it cs}$; ${\it as}$) $\Rightarrow$ l\_subset($T$;${\it cs}$;${\it bs}$) $\Rightarrow$ sublist($T$; ${\it cs}$; ${\it bs}$)